$\forall$$A$:es\_realizer\{i:l\}. R{-}discrete\_compat($A$; $A$)